[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 189

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 122 0 0 96 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.73 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.030 0.034 0.000 0.097 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.013 5.271 0.053 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

19 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.023 0.526 0.024 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 455 0 54 0 0 -1

N.S.

1 1.00 1.00 6.07 0.00 0.72 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.014 0.086 0.000 0.104 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 79 354 0 54 0 0 -1

N.S.

1 1.00 1.00 4.48 0.00 0.68 0.00 0.00 -0.01

time (sec)

N/A 0.051 0.012 0.075 0.000 0.107 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 291 0 54 0 0 -1

N.S.

1 1.00 1.00 3.88 0.00 0.72 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.011 0.080 0.000 0.094 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 79 379 0 50 0 0 -1

N.S.

1 1.00 1.00 4.80 0.00 0.63 0.00 0.00 -0.01

time (sec)

N/A 0.046 0.010 0.082 0.000 0.099 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 62 427 0 50 0 0 -1

N.S.

1 1.00 0.95 6.57 0.00 0.77 0.00 0.00 -0.02

time (sec)

N/A 0.048 0.016 0.081 0.000 0.110 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 530 0 54 0 0 -1

N.S.

1 1.00 1.00 7.07 0.00 0.72 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.012 0.083 0.000 0.116 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 600 0 54 0 0 -1

N.S.

1 1.00 1.00 8.00 0.00 0.72 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.012 0.089 0.000 0.092 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 92 0 0 77 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.78 0.00 0.00 -0.01

time (sec)

N/A 0.107 0.072 0.061 0.000 0.132 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 96 0 0 77 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.097 0.071 0.057 0.000 0.115 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 90 0 0 77 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.79 0.00 0.00 -0.01

time (sec)

N/A 0.093 0.067 0.078 0.000 0.111 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 90 0 0 69 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 0.67 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.078 0.063 0.000 0.102 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 77 0 0 64 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 0.75 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.040 0.076 0.000 0.100 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 91 0 0 77 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.76 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.071 0.061 0.000 0.115 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 95 0 0 77 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.81 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.063 0.062 0.000 0.108 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 122 476 492 170 264 156 189

N.S.

1 1.00 1.37 5.35 5.53 1.91 2.97 1.75 2.12

time (sec)

N/A 0.077 0.310 0.112 0.339 0.401 0.251 0.416 0.258

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 80 236 256 104 151 94 112

N.S.

1 1.00 1.19 3.52 3.82 1.55 2.25 1.40 1.67

time (sec)

N/A 0.054 0.226 0.077 0.318 0.402 0.143 0.454 0.287

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 52 89 101 53 68 46 52

N.S.

1 1.00 1.18 2.02 2.30 1.20 1.55 1.05 1.18

time (sec)

N/A 0.027 0.139 0.054 0.305 0.382 0.101 0.420 0.092

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 55 102 182 95 0 692 -1

N.S.

1 1.00 0.85 1.57 2.80 1.46 0.00 10.65 -0.02

time (sec)

N/A 0.103 0.080 0.082 0.374 0.386 0.000 0.419 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 78 143 208 137 0 578 -1

N.S.

1 1.00 0.88 1.61 2.34 1.54 0.00 6.49 -0.01

time (sec)

N/A 0.114 0.219 0.118 0.415 0.396 0.000 0.434 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 217 1129 1021 373 779 339 452

N.S.

1 1.00 0.92 4.76 4.31 1.57 3.29 1.43 1.91

time (sec)

N/A 0.172 0.882 0.197 0.347 0.387 0.436 0.466 0.912

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 193 564 535 216 456 207 255

N.S.

1 1.00 1.15 3.36 3.18 1.29 2.71 1.23 1.52

time (sec)

N/A 0.124 0.407 0.128 0.317 0.403 0.297 0.390 0.592

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 80 218 216 102 219 107 117

N.S.

1 1.00 0.68 1.85 1.83 0.86 1.86 0.91 0.99

time (sec)

N/A 0.064 0.305 0.089 0.284 0.391 0.150 0.451 0.203

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 114 197 361 191 0 6933 -1

N.S.

1 1.00 0.79 1.36 2.49 1.32 0.00 47.81 -0.01

time (sec)

N/A 0.231 0.133 0.105 0.371 0.386 0.000 0.576 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A C A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 206 276 396 289 0 1133 -1

N.S.

1 1.00 1.30 1.74 2.49 1.82 0.00 7.13 -0.01

time (sec)

N/A 0.206 0.330 0.153 0.409 0.424 0.000 0.610 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 151 364 1006 442 0 0 -1

N.S.

1 1.00 1.13 2.72 7.51 3.30 0.00 0.00 -0.01

time (sec)

N/A 0.180 0.220 0.142 0.397 0.387 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 125 197 300 240 0 0 -1

N.S.

1 1.00 1.24 1.95 2.97 2.38 0.00 0.00 -0.01

time (sec)

N/A 0.129 0.225 0.094 0.408 0.388 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 70 60 176 62 70 234 65

N.S.

1 1.00 1.43 1.22 3.59 1.27 1.43 4.78 1.33

time (sec)

N/A 0.044 0.057 0.078 0.333 0.383 0.313 0.474 0.661

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.038 1.755 0.049 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.035 1.749 0.049 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

271 271 250 678 3441 800 0 0 -1

N.S.

1 1.00 0.92 2.50 12.70 2.95 0.00 0.00 -0.00

time (sec)

N/A 0.240 0.687 0.493 0.920 0.407 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 212 358 812 411 0 0 -1

N.S.

1 1.00 1.00 1.69 3.83 1.94 0.00 0.00 -0.00

time (sec)

N/A 0.171 0.717 0.403 0.592 0.409 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 113 109 834 126 146 757 175

N.S.

1 1.00 0.92 0.89 6.78 1.02 1.19 6.15 1.42

time (sec)

N/A 0.063 0.289 0.217 0.315 0.381 0.483 0.606 4.287

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.036 7.646 0.124 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

23 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.034 8.039 0.127 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 198 468 1042 493 0 0 -1

N.S.

1 1.00 1.49 3.52 7.83 3.71 0.00 0.00 -0.01

time (sec)

N/A 0.184 0.771 0.143 0.388 0.411 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

102 102 292 247 330 307 0 0 -1

N.S.

1 1.00 2.86 2.42 3.24 3.01 0.00 0.00 -0.01

time (sec)

N/A 0.135 3.598 0.107 0.371 0.419 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 57 72 176 63 90 229 65

N.S.

1 1.00 1.14 1.44 3.52 1.26 1.80 4.58 1.30

time (sec)

N/A 0.043 0.148 0.088 0.281 0.400 0.393 0.504 0.522

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.042 1.506 0.050 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

24 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.04

time (sec)

N/A 0.039 1.499 0.049 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 53 132 206 0 0 98 83

N.S.

1 1.00 0.48 1.20 1.87 0.00 0.00 0.89 0.75

time (sec)

N/A 0.092 0.148 0.080 0.594 0.000 0.000 0.432 0.546

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 44 105 122 0 0 77 63

N.S.

1 1.00 0.50 1.19 1.39 0.00 0.00 0.88 0.72

time (sec)

N/A 0.074 0.109 0.057 0.546 0.000 0.000 0.448 0.431

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 34 80 61 0 0 57 46

N.S.

1 1.00 0.64 1.51 1.15 0.00 0.00 1.08 0.87

time (sec)

N/A 0.039 0.080 0.053 0.541 0.000 0.000 0.490 0.205

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 29 43 20 32 0 30 33

N.S.

1 1.00 1.12 1.65 0.77 1.23 0.00 1.15 1.27

time (sec)

N/A 0.009 0.024 0.073 0.553 0.354 0.000 0.433 0.332

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 55 0 61 0 0 166 -1

N.S.

1 1.00 0.65 0.00 0.73 0.00 0.00 1.98 -0.01

time (sec)

N/A 0.081 0.058 0.040 0.552 0.000 0.000 0.458 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 75 0 193 0 0 560 -1

N.S.

1 1.00 0.68 0.00 1.75 0.00 0.00 5.09 -0.01

time (sec)

N/A 0.091 0.101 0.027 0.554 0.000 0.000 0.539 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 98 0 227 0 0 662 -1

N.S.

1 1.00 0.65 0.00 1.50 0.00 0.00 4.38 -0.01

time (sec)

N/A 0.108 0.171 0.029 0.544 0.000 0.000 0.537 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 33 87 48 0 0 55 91

N.S.

1 1.00 0.49 1.28 0.71 0.00 0.00 0.81 1.34

time (sec)

N/A 0.073 0.039 0.072 0.505 0.000 0.000 0.397 0.426

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 29 70 36 0 0 43 70

N.S.

1 1.00 0.55 1.32 0.68 0.00 0.00 0.81 1.32

time (sec)

N/A 0.061 0.033 0.058 0.517 0.000 0.000 0.426 0.340

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 22 55 24 0 0 31 50

N.S.

1 1.00 0.69 1.72 0.75 0.00 0.00 0.97 1.56

time (sec)

N/A 0.034 0.016 0.057 0.514 0.000 0.000 0.425 0.307

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 18 25 12 18 0 17 34

N.S.

1 1.00 1.20 1.67 0.80 1.20 0.00 1.13 2.27

time (sec)

N/A 0.008 0.008 0.073 0.529 0.347 0.000 0.443 0.288

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 0 17 0 0 16 -1

N.S.

1 1.00 1.00 0.00 0.74 0.00 0.00 0.70 -0.04

time (sec)

N/A 0.058 0.006 0.037 0.545 0.000 0.000 0.434 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 33 0 23 0 0 34 -1

N.S.

1 1.00 0.79 0.00 0.55 0.00 0.00 0.81 -0.02

time (sec)

N/A 0.061 0.040 0.033 0.522 0.000 0.000 0.435 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 44 0 19 0 0 48 -1

N.S.

1 1.00 0.66 0.00 0.28 0.00 0.00 0.72 -0.01

time (sec)

N/A 0.073 0.053 0.033 0.544 0.000 0.000 0.448 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 34 86 129 0 0 55 92

N.S.

1 1.00 0.47 1.19 1.79 0.00 0.00 0.76 1.28

time (sec)

N/A 0.078 0.037 0.060 0.528 0.000 0.000 0.417 0.434

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 30 69 100 0 0 51 71

N.S.

1 1.00 0.54 1.23 1.79 0.00 0.00 0.91 1.27

time (sec)

N/A 0.066 0.031 0.052 0.523 0.000 0.000 0.443 0.343

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B F(-2) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 23 54 72 0 0 31 48

N.S.

1 1.00 0.68 1.59 2.12 0.00 0.00 0.91 1.41

time (sec)

N/A 0.036 0.018 0.049 0.503 0.000 0.000 0.458 0.316

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 19 25 23 19 0 26 34

N.S.

1 1.00 1.19 1.56 1.44 1.19 0.00 1.62 2.12

time (sec)

N/A 0.008 0.007 0.077 0.506 0.366 0.000 0.420 0.292

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 0 0 0 0 16 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.67 -0.04

time (sec)

N/A 0.061 0.016 0.030 0.000 0.000 0.000 0.427 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 34 0 0 0 0 34 -1

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.77 -0.02

time (sec)

N/A 0.068 0.019 0.025 0.000 0.000 0.000 0.601 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 45 0 0 0 0 48 -1

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.00 0.69 -0.01

time (sec)

N/A 0.078 0.040 0.025 0.000 0.000 0.000 0.479 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 67 0 98 0 0 113 -1

N.S.

1 1.00 0.36 0.00 0.53 0.00 0.00 0.61 -0.01

time (sec)

N/A 0.130 0.199 0.033 0.501 0.000 0.000 0.427 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 54 0 72 0 0 85 -1

N.S.

1 1.00 0.37 0.00 0.50 0.00 0.00 0.59 -0.01

time (sec)

N/A 0.100 0.154 0.032 0.505 0.000 0.000 0.416 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 45 0 48 0 0 59 -1

N.S.

1 1.00 0.51 0.00 0.54 0.00 0.00 0.66 -0.01

time (sec)

N/A 0.053 0.049 0.033 0.519 0.000 0.000 0.437 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 36 0 29 0 0 32 -1

N.S.

1 1.00 0.65 0.00 0.53 0.00 0.00 0.58 -0.02

time (sec)

N/A 0.090 0.014 0.033 0.542 0.000 0.000 0.440 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 53 0 37 0 0 62 -1

N.S.

1 1.00 0.67 0.00 0.47 0.00 0.00 0.78 -0.01

time (sec)

N/A 0.088 0.059 0.032 0.595 0.000 0.000 0.478 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F C F(-2) F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 66 0 33 0 0 92 -1

N.S.

1 1.00 0.61 0.00 0.30 0.00 0.00 0.84 -0.01

time (sec)

N/A 0.119 0.041 0.032 0.532 0.000 0.000 0.431 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

374 374 199 0 0 0 0 0 -1

N.S.

1 1.00 0.53 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.150 0.086 0.030 0.000 0.000 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

262 262 146 0 0 0 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.120 0.050 0.031 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 89 0 0 0 0 0 -1

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.032 0.030 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 40 54 90 126 0 93 45

N.S.

1 1.00 0.87 1.17 1.96 2.74 0.00 2.02 0.98

time (sec)

N/A 0.017 0.012 0.114 0.547 0.382 0.000 0.464 0.332

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.047 0.589 0.031 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 170 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.121 0.071 0.029 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 117 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 0.036 0.030 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 83 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.025 0.030 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 36 25 81 87 0 20 -1

N.S.

1 1.00 0.97 0.68 2.19 2.35 0.00 0.54 -0.03

time (sec)

N/A 0.015 0.013 0.076 0.564 0.376 0.000 0.458 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

18 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.051 2.031 0.030 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

423 423 257 0 0 0 0 0 -1

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.182 0.290 0.033 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 185 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.124 0.081 0.033 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 165 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.071 0.125 0.031 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

17 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.06

time (sec)

N/A 0.052 6.787 0.033 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-2) A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.040 0.984 0.026 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

383 383 290 0 0 1030 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 2.69 0.00 0.00 -0.00

time (sec)

N/A 0.370 0.557 0.027 0.000 0.481 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

329 329 379 0 0 1263 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 3.84 0.00 0.00 -0.00

time (sec)

N/A 0.449 0.462 0.043 0.000 0.532 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 756 414 0 915 0 0 -1

N.S.

1 1.00 3.53 1.93 0.00 4.28 0.00 0.00 -0.00

time (sec)

N/A 0.263 0.564 0.067 0.000 0.503 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

15 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.07

time (sec)

N/A 0.032 0.516 0.023 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F(-1) F F(-1)

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

296 296 933 674 0 1491 0 0 -1

N.S.

1 1.00 3.15 2.28 0.00 5.04 0.00 0.00 -0.00

time (sec)

N/A 0.354 8.418 0.904 0.000 0.574 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]